$\forall$$R$:Realizer. (R{-}size($R$) $\leq$ 1) $\Rightarrow$ R{-}Feasible($R$) $\Rightarrow$ ([[$R$]] $\in$ Dsys)